On Independence of Variants of the Weak Pigeonhole Principle
نویسندگان
چکیده
منابع مشابه
On Independence of Variants of the Weak Pigeonhole Principle
The principle sPHPb (PV (α)) states that no oracle circuit can compute a surjection of a onto b. We show that sPHP P (a)(PV (α)) is independent of PV1(α)+ sPHP π(a) Π(a)(PV (α)) for various choices of the parameters π, Π, %, P . We also improve the known separation of iWPHP(PV ) from S 2 + sWPHP(PV ) under cryptographic assumptions.
متن کاملResolution and the Weak Pigeonhole Principle
We give new upper bounds for resolution proofs of the weak pigeonhole principle. We also give lower bounds for tree-like resolution proofs. We present a normal form for resolution proofs of pigeonhole principles based on a new monotone resolution rule.
متن کاملCircuit Principles and Weak Pigeonhole Variants
This paper considers the relational versions of the surjective and multifunction weak pigeonhole principles for PV , Σ1 and Θ b 2-formulas. We show that the relational surjective pigeonhole principle for Θ2 formulas in S 1 2 implies a circuit block-recognition principle which in turn implies the surjective weak pigeonhole principle for Σ1 formulas. We introduce a class of predicates correspondi...
متن کاملCircuit principles and weak pigeonhole variants 1
This paper considers the relational versions of the surjective, partial surjective, and multifunction weak pigeonhole principles for PV , Σ1, Π b 1, and B(Σ b 1)-formulas as well as relativizations of these formulas to higher levels of the bounded arithmetic hierarchy. We show that the partial surjective weak pigeonhole principle for Π1 formulas implies that for each k there is a string of leng...
متن کاملthe effect of taftan pozzolan on the compressive strength of concrete in the environmental conditions of oman sea (chabahar port)
cement is an essential ingredient in the concrete buildings. for production of cement considerable amount of fossil fuel and electrical energy is consumed. on the other hand for generating one tone of portland cement, nearly one ton of carbon dioxide is released. it shows that 7 percent of the total released carbon dioxide in the world relates to the cement industry. considering ecological issu...
ذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Logic and Computation
سال: 2007
ISSN: 0955-792X,1465-363X
DOI: 10.1093/logcom/exm017